2.4 LTL to Automata Converter

PAT provides a useful tool to convert LTL formulae to Büchi Automata/Rabin Automata/Streett Automata under toolbar Tools.

 

---

Copyright © 2007-2012 Semantic Engineering Pte. Ltd.